Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions

p. 1 Model Finding Strategies in Semantically Guided Instance-Based Theorem Proving p. 19 An Expressive Three-Valued Logic with Two Negations p. 29 Compiling Proof Search in Semantic Tableaux p. 39 Short CNF in Finetely-Valued Logics p. 49 Defining Variants of Default Logic: a Modal Approach p. 59 An Admissible Heuristic Search Algorithm p. 69 Building an Expert System Language Interpreter with the Rule Network Technique p. 76 Input-Driven Control of Rule-Based Expert Systems p. 86 Case-Based Planning for Medical Diagnosis p. 96 MethoDex: A Methodology for Expert Systems Development p. 106 Towards Intelligent Databases p. 116 Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step p. 132 Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing (Extended Abstract) p. 142